Experimental Mathematics publishes formal results and conjectures inspired by experimentation, algorithms and software for mathematical exploration, and related surveys.
Author guidelines and submission instructions for Abstract and Applied Analysis are available on the journal's website.